- 蕴涵命题演算
- calculus: n. (pl. calculuses, -li ) 1. ...
- propositional calculus: 句子逻辑; 命题逻辑; 命题演算
- minimal propositional calculus: 极小命题演算
- propositional: 建议的; 提议的; 主张的
- implicational hierarchy: 蕴含层级
下载手机词典可随时随地查词查翻译
implicational propositional calculus中文什么意思
发音:
- 蕴涵命题演算
下载手机词典可随时随地查词查翻译
百科释义
In mathematical logic, the implicational propositional calculus is a version of classical propositional calculus which uses only one connective, called implication or conditional. In formulas, this binary operation is indicated by "implies", "if ...
详细百科解释